.intel_syntax noprefix
MFENCE # instrumentation
.test_case_enter:
.function_main:
.bb_main.entry:
JMP .bb_main.0 
.bb_main.0:
AND RBX, 0b1111111111111 # instrumentation
OR RDX, qword ptr [R14 + RBX] 
AND RDX, 0b1111111111111 # instrumentation
LOCK AND qword ptr [R14 + RDX], 51 
AND RSI, 0b1111111111111 # instrumentation
OR dword ptr [R14 + RSI], 0b1000000000000000000000000000000 # instrumentation
BSF ECX, dword ptr [R14 + RSI] 
AND RDX, 0b1111111111111 # instrumentation
XOR byte ptr [R14 + RDX], 27 
AND RAX, 0b1111111111111 # instrumentation
AND RCX, 0b111 # instrumentation
BTC qword ptr [R14 + RAX], RCX 
AND RDX, 0b1111111111111 # instrumentation
TEST byte ptr [R14 + RDX], DL 
AND RBX, 0b1111111111111 # instrumentation
CMOVZ RSI, qword ptr [R14 + RBX] 
JRCXZ .bb_main.1 
JMP .bb_main.exit 
.bb_main.1:
AND AL, 39 
NOT BL 
AND RDI, 0b1111111111111 # instrumentation
TEST dword ptr [R14 + RDI], EBX 
AND SIL, 100 
CMOVNZ EDX, EDI 
AND RDX, 0b1111111111111 # instrumentation
CMOVNBE DX, word ptr [R14 + RDX] 
AND RCX, 0b1111111111111 # instrumentation
LOCK BTR qword ptr [R14 + RCX], 4 
AND RBX, 0b1111111111111 # instrumentation
CMOVNB EBX, dword ptr [R14 + RBX] 
CMOVNB RSI, RCX 
CMOVP ECX, EBX 
BT DX, -99 
AND DIL, 77 # instrumentation
CMOVNP EDX, EDX 
AND RAX, 0b1111111111111 # instrumentation
LOCK BTC qword ptr [R14 + RAX], 1 
.bb_main.exit:
.test_case_exit:
MFENCE # instrumentation
